Answer set programming - PDFSEARCH.IO - Document Search Engine

Answer set programming
Results: 107

#	Item
81	Towards Possibilistic Fuzzy Answer Set Programming Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:48:45 Fuzzy control system Stable model semantics Fuzzy set Possibility theory Answer set programming Fuzzy rule Logic programming Type-2 fuzzy sets and systems Fuzzy subalgebra Logic Fuzzy logic Mathematical logic
82	Complexity of fuzzy answer set programming under Lukasiewicz semantics Marjon Blondeela,1 , Steven Schockaertb , Dirk Vermeira , Martine De Cockc a Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2013-10-21 12:32:43 Logic programming Logic in computer science Non-classical logic Structural complexity theory Complexity classes Stable model semantics Answer set programming Fuzzy logic Negation Theoretical computer science Applied mathematics Mathematics
83	Noname manuscript No. (will be inserted by the editor) Aggregated Fuzzy Answer Set Programming Jeroen Janssen · Steven Schockaert · Dirk Vermeir · Martine De Cock Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-05-15 15:15:58 Fuzzy logic Logic in computer science Artificial intelligence Answer set programming FO T-norm Combinatory logic Residuated lattice Logic Mathematical logic Mathematics
84	Possibilistic Answer Set Programming Revisited Kim Bauters∗, Steven Schockaert† Dept. of Applied Mathematics and Computer Science Universiteit Gent Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-06-18 10:53:36 Answer set programming Modal logic Valuation Mathematics Natural deduction Logic programming Logic Stable model semantics
85	Modeling Protein Interaction Networks with Answer Set Programming ∗ Dept. Timur Fayruzov∗ , Martine De Cock∗† , Chris Cornelis∗ and Dirk Vermeir‡ of Applied Mathematics and Computer Science, Ghent University Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2009-10-17 02:11:29 Biochemistry Proteins Gene expression Answer set programming Stable model semantics Gene regulatory network Enzyme FO Cyclin-dependent kinase 1 Biology Logic programming Chemistry
86	Complexity of fuzzy answer set programming under Lukasiewicz semantics: First results Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 09:39:13 Logic programming Logic in computer science Non-classical logic Mathematical optimization Stable model semantics Answer set programming Fuzzy logic NP Computational complexity theory Theoretical computer science Applied mathematics Complexity classes
87	Int. J. Data Mining and Bioinformatics, Vol. x, No. x, xxxx Modelling Gene and Protein Regulatory Networks with Answer Set Programming Timur Fayruzov1,∗ , Jeroen Janssen2 , Dirk Vermeir2 , Chris Cornelis1 , Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-04-05 19:31:00 Applied mathematics Stable model semantics Answer set programming Modal logic Negation Bioinformatics Logic programming Logic Science
88	Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 34–43 http://www.floc-conference.org/ICLP-home.html COMMUNICATING ANSWER SET PROGRAMS KIM BAUTERS 1 AND JEROEN JANSSE Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:47:16 Mathematical logic Boolean algebra Stable model semantics Answer set programming Rules of inference Literal Negation Modal logic Logic programming Logic Propositional calculus
89	Fuzzy Answer Set Programming Davy Van Nieuwenborgh1,⋆ , Martine De Cock2 , and Dirk Vermeir1 1 Vrije Universiteit Brussel, VUB Dept. of Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2006-07-03 14:04:14 Logic programming Semantics Artificial intelligence Logic in computer science Stable model semantics Negation as failure Constructible universe Answer set programming T-norm Logic Mathematical logic Fuzzy logic
90	Weak and strong disjunction in possibilistic ASP Kim Bauters1? , Steven Schockaert1?? , Martine De Cock1 , and Dirk Vermeir2 1 Department of Applied Mathematics and Computer Science Universiteit Gent, Krijgslaan 281, 900 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-06-17 07:43:23 Propositional calculus Boolean algebra Non-classical logic Philosophical logic Stable model semantics Answer set programming Modal logic Clause Negation Logic Logic programming Mathematical logic

UPDATE